Two classical examples of Gross’ abstract Wiener measure

Classical Integration Rules and Wiener Measure

Restrictions of Representations of Classical Groups: Examples Wee Teck Gan, Benedict H. Gross and Dipendra Prasad

Quantifier Elimination: Optimal Solution for Two Classical Examples

The aim of this paper is to give optimal solutions for two classical quantifier elimination problems. These solutions are not obtained by existing general algorithms. However, the design of etlicient algorithms must be oriented towards the production of simple solutions, and not just any odd solution. I do not know of any general algorithm whose solution has similar complexity; it would be inte...

Wiener measure and Donsker’s theorem

Synthesis with Abstract Examples

Interactive program synthesizers enable a user to communicate his/her intent via input-output examples. Unfortunately, such synthesizers only guarantee that the synthesized program is correct on the provided examples. A user that wishes to guarantee correctness for all possible inputs has to manually inspect the synthesized program, an error-prone and challenging task. We present a novel synthe...